/*
    Testing for the initialization / finalization procedure for kp
*/
#include <stdio.h>
#include <stdlib.h>
//#include "../Include/kpcomm.h"
#include "../Include/channel.h"

//int core_mapping[16] = { 8, 9, 10, 11, 12, 13, 14, 15, 0, 1, 2, 3, 4, 5, 6, 7 };
int core_mapping[]={0};
int main(int argc, char *argv[])
{
    printf("Creo il communicator ... io giro su %d\n",sched_getcpu());
    Communicator kp=initCommunicator(core_mapping);
    //printf("tdi communitcator: %u\n",kp->id);
    int a=2;
    int i=0;
    //for(i=0;i<10;i++)
      //  enqueue(kp->dQueue,&i);
    sleep(2);
    finalizeCommunicator(kp);

}
